A note on domain representability and formal topology
نویسنده
چکیده
Two common approaches to constructive and effective topology are connected by showing that formal topologies have canonical representation in terms of Scott domains. Moreover a map lifting theorem for the representation is proved. MSC 2000 classification: 54A05, 03D45, 03F65.
منابع مشابه
Scott-representability of some spaces of Tall and Mǐskin
In this paper we show that a variation of a technique of Mǐskin and Tall yields a cocompact completely regular Moore space that is Scott-domain-representable and has a closed Gδ-subspace that is not Scott-domain-representable. This clarifies the general topology of Scott-domain-representable spaces and raises additional questions about Scott-domain representability in Moore spaces. 2000 AMS Cla...
متن کاملA Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured...
متن کاملDomain Representability and the Choquet Game in Moore and BCO-spaces
In this paper we investigate the role of domain representability and Scott-domain representability in the class of Moore spaces and the larger class of spaces with a base of countable order. We show, for example, that in a Moore space, the following are equivalent: domain representability; subcompactness; the existence of a winning strategy for player α (= the non-empty player) in the strong Ch...
متن کاملA note on approximation conditions, standard triangularizability and a power set topology
The main result of this article is that for collections of entry-wise non-negative matrices the property of possessing a standard triangularization is stable under approximation. The methodology introduced to prove this result allows us to offer quick proofs of the corresponding results of [B. R. Yahaghi, Near triangularizability implies triangularizability, Canad. Math. Bull. 47, (2004), no. 2...
متن کاملOn the Six Node Hexagon Elements for Continuum Topology Optimization of Plates Carrying in Plane Loading and Shell Structures Carrying out of Plane Loading
The need of polygonal elements to represent the domain is gaining interest among structural engineers. The objective is to perform static analysis and topology optimization of a given continuum domain using the rational fraction type shape functions of six node hexagonal elements. In this paper, the main focus is to perform the topology optimization of two-dimensional plate structures using Evo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005